#ifndef INC_COP_H
#define INC_COP_H

typedef void (*cop_task_t)(void);

void task_dispatch(int n, cop_task_t task);
void task_wait();
void task_run(int n, cop_task_t task);

#endif